EXTRA_DIST=\
	brancher.h fn_and.h fn_lemma.h fn_minmax.h fn_plainor.h fn_smurf_au.h \
	fn_smurf.h fn_xor.h heur_i.h heuristic.h hr_lemma.h hr_lsgb.h \
	hr_lsgb_lemma.h hr_lsgbw.h hr_null.h Makefile.am solver_features.h \
	solver.h fn_xor_smurf.h fn_smurf_xor.h hr_berkmin.h hr_vsids.h \
	hr_minisat.h hr_anne.h
